Arrows passing under

??=[arrows.pass] The `|x|-form' of the morphisms may pass under any other entry: Just insert |'| t, , a quote character followed by a target, for each entry that should be visited except the last, `ordinary & final' entry:
\begin{code} \diagram \circ \xdashed '[dr] ^a \vert<\stop '[rr]+D ^b [drrr] ... ... \circ & \circ & \circ \\ \circ & \circ & \circ & \circ \enddiagram \end{code}
typesets

$\displaystyle \docode$

As you see, labels are set separately on each segment.


\begin{exercise} \begin{code} \diagram & \lambda\omega \rrline\xline'[d][dd] &... ... location. \answercode \answertext{The author typed \displaycode} \end{exercise}